principle for #buillding-learning-tool when doing #goal design (or rather, communicating goals) e.g. show a learner what the ultimate goal of understanding this proof is